Defining Medicine and Commodity Needs for the Management of Uncomplicated and Severe Malaria in Kenya’s Formal Sector Using Novel Space-Time Geostatistical Methods Peter W. Gething Abdisalan M. Noor Emelda A. Okiro

Source URL: seeg.zoo.ox.ac.uk

Overcoming Duality: Conducting Mixed Methods Research on Non-Formal Schools in Potou, Senegal Jillian Husman, MPA Candidate, SIPA SummerResearch Questions

Source URL: www.earthinstitute.columbia.edu

Overcoming Duality: Conducting Mixed Methods Research on Non-Formal Schools in Potou, Senegal Jillian Husman, MPA Candidate, SIPA SummerResearch Questions

Source URL: earth.columbia.edu

Runtime Verification of Log Files, a Trojan Horse for Formal Methods? Howard Barringer1 , Alex Groce3 , Klaus Havelund2 , David Rydeheard1 , and Margaret Smith2 1

Source URL: havelund.com

Embedding logics in Dedukti 2014 edition Ali Assaf 2nd KWARC-Deducteam workshop May 26, 2014

Source URL: who.rocq.inria.fr

• Type theory
• Lambda calculus
• Formal methods
• Logic in computer science
• Coq
• Pure type system
• HOL
• Correctness
• Automated proof checking
• Theoretical computer science
• Applied mathematics
• Programming language theory

30°EWGLAM Adriano Raspanti COSMO WG5 Coordinator and VERSUS Project Leader

Source URL: srnwp.met.hu

• Software engineering
• Formal methods
• Verification
• Software development process
• Ada
• Requirement
• Computing
• Software development
• Systems engineering

ExCAPE Annual Report of Activities April 2013 to MarchOverview

Source URL: excape.cis.upenn.edu

• Electronic design automation
• Science
• Applied mathematics
• Digital electronics
• Formal methods
• Model-based design
• Program synthesis
• High-level synthesis
• Synthesizer
• Electronic engineering
• Formal sciences
• Cybernetics

BRICS Basic Research in Computer Science BRICS DS-00-7 M. Jurdzi´nski: Games for Verification: Algorithmic Issues

Source URL: www.brics.dk

• Logic in computer science
• Computability theory
• Formal methods
• Model checking
• Theory of computation
• Algorithm
• BRIC
• Halting problem
• Formal verification
• Theoretical computer science
• Applied mathematics
• Mathematics

Published in Proceedings of the 17th IEEE Computer Security Foundations Workshop, 2004, pages 236–250. By Reason and Authority: A System for Authorization of Proof-Carrying Code Nathan Whitehead Department of Computer

Source URL: www.cs.berkeley.edu

• Model theory
• Formal methods
• Propositional calculus
• Predicate logic
• Function
• Lambda calculus
• Forcing
• Well-formed formula
• Atomic formula
• Logic
• Mathematical logic
• Mathematics

Language Engineering as an Enabler for Incrementally Defined Formal Analyses Daniel Ratiu∗ , Markus Voelter† , Bernhard Schaetz∗ , Bernd Kolb‡ ∗ ForTISS, Munich, Germany, {ratiu | schaetz}@fortiss.org † indep

Source URL: mbeddr.com

• Theoretical computer science
• Model checkers
• Logic in computer science
• NuSMV
• Model checking
• Formal verification
• Domain-specific language
• Programming language
• Feature model
• Formal methods
• Software
• Mathematics